Valentina S. Harizanov: search on Z-Library

The world's largest scientific articles store. 70,000,000+ articles for free.

1

Logic and Algebraic Structures in Quantum Computing || Could logic be empirical? The Putnam-Kripke debate

Chubb, Jennifer, Eskandarian, Ali, Harizanov, Valentina

Year:

2016

Language:

english

File:

PDF, 350 KB

english, 2016

2

Chains and antichains in partial orderings

Valentina S. Harizanov, Carl G. Jockusch, Julia F. Knight

Journal:

Archive for Mathematical Logic

Year:

2009

Language:

english

File:

PDF, 269 KB

english, 2009

3

Logic and Algebraic Structures in Quantum Computing || The essence of quantum theory for computers

Chubb, Jennifer, Eskandarian, Ali, Harizanov, Valentina

Year:

2016

Language:

english

File:

PDF, 529 KB

english, 2016

4

Logic and Algebraic Structures in Quantum Computing || Topos-based logic for quantum systems and bi-Heyting algebras

Chubb, Jennifer, Eskandarian, Ali, Harizanov, Valentina

Year:

2016

Language:

english

File:

PDF, 577 KB

english, 2016

5

Effectively and Noneffectively Nowhere Simple Sets

Valentina S. Harizanov

Journal:

Mathematical Logic Quarterly

Year:

1996

Language:

english

File:

PDF, 445 KB

english, 1996

6

Spectra of structures and relations

Harizanov, Valentina S., Miller, Russell G.

Journal:

Journal of Symbolic Logic

Year:

2007

Language:

english

File:

PDF, 1.79 MB

english, 2007

7

Computability-Theoretic Complexity of Countable Structures

Valentina S. Harizanov

Journal:

Bulletin of Symbolic Logic

Year:

2002

Language:

english

File:

PDF, 2.33 MB

english, 2002

8

Degree spectra of the successor relation of computable linear orderings

Jennifer Chubb, Andrey Frolov, Valentina Harizanov

Journal:

Archive for Mathematical Logic

Year:

2009

Language:

english

File:

PDF, 151 KB

english, 2009

9

REGULAR RELATIONS AND THE QUANTIFIER “THERE EXIST UNCOUNTABLY MANY”

Zarko Mijajlović, Valentina Harizanov

Journal:

Mathematical Logic Quarterly

Year:

1983

Language:

english

File:

PDF, 630 KB

english, 1983

10

Uncountable degree spectra

Valentina S. Harizanov

Journal:

Annals of Pure and Applied Logic

Year:

1991

Language:

english

File:

PDF, 623 KB

english, 1991

11

Preface

Douglas Cenzer, Valentina Harizanov, David Marker, Carol Wood

Journal:

Archive for Mathematical Logic

Year:

2009

Language:

english

File:

PDF, 132 KB

english, 2009

12

Logic and Algebraic Structures in Quantum Computing || Preface

Chubb, Jennifer, Eskandarian, Ali, Harizanov, Valentina

Year:

2016

Language:

english

File:

PDF, 80 KB

english, 2016

13

Logic and Algebraic Structures in Quantum Computing || Introduction

Chubb, Jennifer, Eskandarian, Ali, Harizanov, Valentina

Year:

2016

Language:

english

File:

PDF, 136 KB

english, 2016

14

Intrinsic Bounds on Complexity and Definability at Limit Levels

John Chisholm, Ekaterina B. Fokina, Sergey S. Goncharov, Valentina S. Harizanov, Julia F. Knight and Sara Quinn

Journal:

Journal of Symbolic Logic

Year:

2009

Language:

english

File:

PDF, 1.13 MB

english, 2009

15

Computability of Fraïssé limits

Csima, Barbara F., Harizanov, Valentina S., Miller, Russell, Montalbán, Antonio

Journal:

Journal of Symbolic Logic

Year:

2011

Language:

english

File:

PDF, 1.87 MB

english, 2011

16

On the learnability of vector spaces

Valentina S. Harizanov, Frank Stephan

Journal:

Journal of Computer and System Sciences

Year:

2007

Language:

english

File:

PDF, 194 KB

english, 2007

17

$\Pi _{1}^{0}$Classes and Strong Degree Spectra of Relations

John Chisholm, Jennifer Chubb, Valentina S. Harizanov, Denis R. Hirschfeldt, Carl G. Jockusch, Jr., Timothy McNicholl and Sarah Pingrey

Journal:

Journal of Symbolic Logic

Year:

2007

Language:

english

File:

PDF, 1.38 MB

english, 2007

18

Bounding Homogeneous Models

Barbara F. Csima, Valentina S. Harizanov, Denis R. Hirschfeldt and Robert I. Soare

Journal:

Journal of Symbolic Logic

Year:

2007

Language:

english

File:

PDF, 1.56 MB

english, 2007

19

Computability-Theoretic Categoricity and Scott Familiesm

Fokina, Ekaterina, Harizanov, Valentina, Turetsky, Daniel

Journal:

Annals of Pure and Applied Logic

Year:

2019

Language:

english

File:

PDF, 401 KB

english, 2019

20

Logic and Algebraic Structures in Quantum Computing || Fiber products of measures and quantum foundations

Chubb, Jennifer, Eskandarian, Ali, Harizanov, Valentina

Year:

2016

Language:

english

File:

PDF, 533 KB

english, 2016

21

Effective categoricity of Abelian -groups

Wesley Calvert, Douglas Cenzer, Valentina S. Harizanov, Andrei Morozov

Journal:

Annals of Pure and Applied Logic

Year:

2009

Language:

english

File:

PDF, 685 KB

english, 2009

22

Spaces of orders and their Turing degree spectra

Malgorzata A. Dabkowska, Mieczyslaw K. Dabkowski, Valentina S. Harizanov, Amir A. Togha

Journal:

Annals of Pure and Applied Logic

Year:

2010

Language:

english

File:

PDF, 351 KB

english, 2010

23

Spectra of Structures and Relations

Valentina S. Harizanov and Russell G. Miller

Journal:

Journal of Symbolic Logic

Year:

2007

Language:

english

File:

PDF, 2.13 MB

english, 2007

24

Logic and Algebraic Structures in Quantum Computing || Relating operator spaces via adjunctions

Chubb, Jennifer, Eskandarian, Ali, Harizanov, Valentina

Year:

2016

Language:

english

File:

PDF, 718 KB

english, 2016

25

The possible turing degree of the nonzero member in a two element degree spectrum

Valentina S. Harizanov

Journal:

Annals of Pure and Applied Logic

Year:

1993

Language:

english

File:

PDF, 2.06 MB

english, 1993

26

Computability-Theoretic Complexity of Countable Structures

Harizanov, Valentina S.

Journal:

Bulletin of Symbolic Logic

Year:

2002

Language:

english

File:

PDF, 238 KB

english, 2002

27

Logic and Algebraic Structures in Quantum Computing || The logic of quantum mechanics – Take II

Chubb, Jennifer, Eskandarian, Ali, Harizanov, Valentina

Year:

2016

Language:

english

File:

PDF, 1.85 MB

english, 2016

28

Trivial, strongly minimal theories are model complete after naming constants

Goncharov, Sergey S., Harizanov, Valentina S., Laskowski, Michael C., Lempp, Steffen, McCoy, Charles F. D.

Journal:

Proceedings of the American Mathematical Society

Year:

2003

File:

PDF, 216 KB

2003

29

Π1 0 classes and strong degree spectra of relations

Chisholm, John, Chubb, Jennifer, Harizanov, Valentina S., Hirschfeldt, Denis R., Jockusch, Carl G., McNicholl, Timothy, Pingrey, Sarah

Journal:

Journal of Symbolic Logic

Year:

2007

Language:

english

File:

PDF, 1.16 MB

english, 2007

30

Sequences of n-diagrams

Harizanov, Valentina S., Knight, Julia F., Morozov, Andrei S.

Journal:

Journal of Symbolic Logic

Year:

2002

Language:

english

File:

PDF, 1.38 MB

english, 2002

31

Logic and Algebraic Structures in Quantum Computing || Reasoning about meaning in natural language with compact closed categories and Frobenius algebras

Chubb, Jennifer, Eskandarian, Ali, Harizanov, Valentina

Year:

2016

Language:

english

File:

PDF, 455 KB

english, 2016

32

Π₁¹ Relations and Paths through ᵊ

Sergey S. Goncharov, Valentina S. Harizanov, Julia F. Knight and Richard A. Shore

Journal:

Journal of Symbolic Logic

Year:

2004

Language:

english

File:

PDF, 3.49 MB

english, 2004

33

Frequency computations and the cardinality theorem

Harizanov, Valentina, Kummer, Martin, Owings, Jim

Journal:

Journal of Symbolic Logic

Year:

1992

Language:

english

File:

PDF, 499 KB

english, 1992

34

Orders on magmas and computability theory

Ha, Trang, Harizanov, Valentina

Journal:

Journal of Knot Theory and Its Ramifications

Year:

2018

Language:

english

File:

PDF, 195 KB

english, 2018

35

Logic and Algebraic Structures in Quantum Computing || Knot logic and topological quantum computing with Majorana fermions

Chubb, Jennifer, Eskandarian, Ali, Harizanov, Valentina

Year:

2016

Language:

english

File:

PDF, 2.57 MB

english, 2016

36

Sequences of n-Diagrams

Valentina S. Harizanov, Julia F. Knight and Andrei S. Morozov

Journal:

Journal of Symbolic Logic

Year:

2002

Language:

english

File:

PDF, 2.21 MB

english, 2002

37

Turing degrees of certain isomorphic images of computable relations

Valentina S. Harizanov

Journal:

Annals of Pure and Applied Logic

Year:

1998

Language:

english

File:

PDF, 683 KB

english, 1998

38

Induction, Algorithmic Learning Theory, and Philosophy ||

Friend, Michèle, Goethe, Norma B., Harizanov, Valentina S.

Year:

2007

Language:

english

File:

PDF, 5.41 MB

english, 2007

39

Isomorphism relations on computable structures

Fokina, Ekaterina B., Friedman, Sy-David, Harizanov, Valentina, Knight, Julia F., Mccoy, Charles, Montalbán, Antonio

Journal:

Journal of Symbolic Logic

Year:

2012

Language:

english

File:

PDF, 874 KB

english, 2012

40

Bounding homogenous models

Barbara F. Csima,, Harizanov, Valentina S., Hirschfeldt, Denis R., Soare, Robert I.

Journal:

Journal of Symbolic Logic

Year:

2007

Language:

english

File:

PDF, 1.34 MB

english, 2007

41

Π1 1 relations and paths through

Goncharov, Sergey S., Harizanov, Valentina S., Knight, Julia F., Shore, Richard A.

Journal:

Journal of Symbolic Logic

Year:

2004

Language:

english

File:

PDF, 1.82 MB

english, 2004

42

Turing Degrees of Isomorphism Types of Geometric Objects

Calvert, Wesley, Harizanov, Valentina, Shlapentokh, Alexandra

Journal:

Year:

2014

File:

PDF, 271 KB

2014

43

Countable Boolean Algebras and Decidabilityby Sergei S. Goncharov

Review by: Valentina Harizanov

Journal:

Journal of Symbolic Logic

Year:

1998

Language:

english

File:

PDF, 448 KB

english, 1998

44

Logic and Algebraic Structures in Quantum Computing || A (very) brief tour of quantum mechanics, computation, and category theory

Chubb, Jennifer, Eskandarian, Ali, Harizanov, Valentina

Year:

2016

Language:

english

File:

PDF, 464 KB

english, 2016

45

[Studies in Logic and the Foundations of Mathematics] Handbook of Recursive Mathematics - Volume 1: Recursive Model Theory Volume 138 || Chapter 1 Pure computable model theory

Harizanov, Valentina S.

Year:

1998

Language:

english

File:

PDF, 4.91 MB

english, 1998

46

Dependence relations in computably rigid computable vector spaces

Rumen D. Dimitrov, Valentina S. Harizanov, Andrei S. Morozov

Journal:

Annals of Pure and Applied Logic

Year:

2005

Language:

english

File:

PDF, 136 KB

english, 2005

47

Effective categoricity of equivalence structures

Wesley Calvert, Douglas Cenzer, Valentina Harizanov, Andrei Morozov

Journal:

Annals of Pure and Applied Logic

Year:

2006

Language:

english

File:

PDF, 327 KB

english, 2006

48

Turing degrees of hypersimple relations on computable structures

Valentina S. Harizanov

Journal:

Annals of Pure and Applied Logic

Year:

2003

Language:

english

File:

PDF, 175 KB

english, 2003

49

Trivial, Strongly Minimal Theories Are Model Complete after Naming Constants

Sergey S. Goncharov, Valentina S. Harizanov, Michael C. Laskowski, Steffen Lempp and Charles F. D. McCoy

Journal:

Proceedings of the American Mathematical Society

Year:

2003

Language:

english

File:

PDF, 1.03 MB

english, 2003

50

Partial automorphism semigroups

Jennifer Chubb, Valentina S. Harizanov, Andrei S. Morozov, Sarah Pingrey, Eric Ufferman

Journal:

Annals of Pure and Applied Logic

Year:

2008

Language:

english

File:

PDF, 828 KB

english, 2008

To build up a library is to create a life. It’s never just a random collection of books.

— Carlos María Domínguez

Official channel

Z-Library Desktop Launcher

Z-Library Since 2009 support@1delivery.pm

EnglishРусскийEspañolItalianoελληνικάاللغة العربيةBahasa IndonesiaBahasa Malaysiaहिन्दीDeutschFrançaisPortuguêsУкраїнськаPolski中文繁體中文日本語Tiếng ViệtAzərbaycan DiliՀայոց լեզուภาษาไทยTürk Diliქართველიবাংলাپښتوతెలుగుاردو한국어SrpskiБългарски